How Do I Symbolize A Disjunction